Integral of cot^2(x)